Fractal Fracas

نویسنده

  • Gary Singh
چکیده

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Natural Solution to FraCaS Entailment Problems

Reasoning over several premises is not a common feature of RTE systems as it usually requires deep semantic analysis. On the other hand, FraCaS is a collection of entailment problems consisting of multiple premises and covering semantically challenging phenomena. We employ the tableau theorem prover for natural language to solve the FraCaS problems in a natural way. The expressiveness of a type...

متن کامل

Accurate Emulation of CPU Performance

This paper addresses the question of CPU performance emulation, which allows experimenters to evaluate applications under a wide range of reproducible experimental conditions. Specifically, we propose Fracas, a CPU emulator that leverages the Linux Completely Fair Scheduler to achieve performance emulation of homogeneous or heterogeneous multi-core systems. Several benchmarks reproducing differ...

متن کامل

A simulation tool to validate and compare satellite TDMA access schemes

This paper proposes an architecture design for a tool suitable for emulating DA-TDMA (demand-assignment-time division multiple access) satellite access schemes. The tool presented, named FRACAS, is particularly suitable for comparing the performance of different satellite channel allocation policies. Using FRACAS, a service provider can choose from different policies for sharing a satellite cha...

متن کامل

A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq

We present a type-theoretical framework for formal semantics, which leverages two existing well established tools: Grammatical Framework (GF) and Coq. The framework is the semantic equivalent of GF’s resource grammars: every syntactic construction is mapped to a (compositional) semantics. Our tool thus extends the standard GF grammar with a formal semantic backbone. We evaluated our framework o...

متن کامل

Computer-Aided Image-Guided Bone Fracture Surgery: Modeling, Visualization, and Preoperative Planning

This paper describes the Fracas computer-integrated or-thopaedic system for assisting surgeons in closed long bone fracture reduction. Fracas' goals are to reduce the surgeon's cumulative exposure to radiation and improve the positioning accuracy by replacing uncorre-lated static uoroscopic images with a virtual reality display of 3D bone models created from preoperative CT and tracked intraope...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • IEEE computer graphics and applications

دوره 25 3  شماره 

صفحات  -

تاریخ انتشار 2005